and Logic

Results: 11835



#Item
381

Names are (mostly) Useless: Encoding Nominal Logic Programming Techniques with Use-counting and Dependent Types Jason Reed September 20, 2008

Add to Reading List

Source URL: www.cis.upenn.edu

- Date: 2008-10-15 15:02:54
    382

    The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

    Add to Reading List

    Source URL: www.isa-afp.org

    - Date: 2016-06-30 11:26:49
      383

      LA CREENCIA Alexander BainTraducción castellana de Armando Daniel OtamendiEste texto, tomado del volumen de Alexander Bain Professor of Logic in the University of Aberdeen, Mental and Moral Science. Part

      Add to Reading List

      Source URL: www.unav.es

      - Date: 2010-01-22 05:27:45
        384

        Economics Using logic, theoretical reasoning and common sense, the economists of the world analyze and provide perspective on the different choices people make, both in business and in their everyday lives. Economics maj

        Add to Reading List

        Source URL: www.sau.edu

        - Date: 2016-08-15 13:45:35
          385

          Controlling Generalization and Polyvariance in Partial Deduction of Normal Logic Programs MICHAEL LEUSCHEL, BERN MARTENS, and DANNY DE SCHREYE Katholieke Universiteit Leuven Given a program and some input data, partial

          Add to Reading List

          Source URL: repository.readscheme.org

          - Date: 2010-10-22 08:06:01
            386

            OPM UNSCHEDULED TELEWORK ANNOUNCEMNTS AND DOI’S TELEWORK AND INCLEMENT WEATHER DECISION LOGIC TABLE Jan 30, 2013 Issue: The DOI Telework and Inclement Weather Decision Logic Table and the OPM standard announcement belo

            Add to Reading List

            Source URL: www2.usgs.gov

            - Date: 2013-02-20 07:49:15
              387

              On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

              Add to Reading List

              Source URL: www.phil.uu.nl

              - Date: 2008-12-12 07:16:16
                388

                FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                - Date: 2015-02-05 09:51:10
                  389

                  Dewey’s Philosophy of Language 1. Introduction: Dewey and the linguistic turn John Dewey’s mature thought is situated in the midst of 20th century philosophy. Works such as Experience and Natureand Logic: the

                  Add to Reading List

                  Source URL: www.nordprag.org

                  - Date: 2014-04-05 09:38:02
                    390

                    The take-home message from this lecture Equideductive Categories and their Logic Paul Taylor Category Theory 2010, Genova Midsummer’s Day

                    Add to Reading List

                    Source URL: www.paultaylor.eu

                    - Date: 2010-07-02 03:56:21
                      UPDATE